Auto merge of #1981 - alexcrichton:git-stamp-if-dead, r=brson
authorbors <bors@rust-lang.org>
Wed, 9 Sep 2015 23:26:08 +0000 (23:26 +0000)
committerbors <bors@rust-lang.org>
Wed, 9 Sep 2015 23:26:08 +0000 (23:26 +0000)
commit51f39668e48f4a5636a184ae53a2e8bcb4994e7b
tree643eefd85d802c4229519ab802679eb77b0221e9
parentd23ddec1b2318de74e980b5fed08d5411620bd92
parent3a87d0067ce036152900514901e0959dfe5200a4
Auto merge of #1981 - alexcrichton:git-stamp-if-dead, r=brson

We already take this strategy for extracting tarballs from crates.io for
example, so this just applies the same strategy to checkouts of git repos.

Closes #1979